(MemberLink (av 0 0 0) (stv 0.900000 0.111111)
  (ConceptNode "Thomas" (av 0 0 0) (stv 0.010000 0.555556))
  (ConceptNode "Train" (av 0 0 0) (stv 0.010000 0.555556))
)
(MemberLink (av 0 0 0) (stv 0.900000 0.111111)
  (ConceptNode "FrankstonLine" (av 0 0 0) (stv 0.010000 0.555556))
  (ConceptNode "Track" (av 0 0 0) (stv 0.010000 0.555556))
)
(ImplicationLink (av 0 0 0) (stv 0.900000 0.111111)
  (AndLink (av 0 0 0) (stv 1.000000 0.000000)
    (MemberLink (av 0 0 0) (stv 0.900000 0.111111)
      (ConceptNode "Thomas" (av 0 0 0) (stv 0.010000 0.555556))
      (ConceptNode "Train" (av 0 0 0) (stv 0.010000 0.555556))
    )
    (MemberLink (av 0 0 0) (stv 0.900000 0.111111)
      (ConceptNode "FrankstonLine" (av 0 0 0) (stv 0.010000 0.555556))
      (ConceptNode "Track" (av 0 0 0) (stv 0.010000 0.555556))
    )
  )
  (EvaluationLink (av 0 0 0) (stv 1.000000 0.000000)
    (PredicateNode "goesOn" (av 0 0 0) (stv 0.100000 0.111111))
    (ListLink (av 0 0 0) (stv 1.000000 0.000000)
      (ConceptNode "Thomas" (av 0 0 0) (stv 1.000000 0.000000))
      (ConceptNode "FrankstonLine" (av 0 0 0) (stv 1.000000 0.000000))
    )
  )
)
(EvaluationLink (av 0 0 0) (stv 0 0)
  (PredicateNode "rules" (av 0 0 0) (stv 0 0))
  (ListLink (av 0 0 0) (stv 1.000000 0.000000)
    (ConceptNode "AndCreationRule<2>" (av 0 0 0) (stv 0 0))
    (ConceptNode "ModusPonensRule<ImplicationLink>" (av 0 0 0) (stv 0 0))
  )
)
(EvaluationLink (av 0 0 0) (stv 0 0)
  (PredicateNode "query" (av 0 0 0) (stv 0 0))
  (ListLink (av 0 0 0) (stv 1.000000 0.000000)
    (EvaluationLink (av 0 0 0) (stv 1.000000 0.000000)
      (PredicateNode "goesOn" (av 0 0 0) (stv 0.100000 0.111111))
      (ListLink (av 0 0 0) (stv 1.000000 0.000000)
        (ConceptNode "Thomas" (av 0 0 0) (stv 0.010000 0.555556))
        (ConceptNode "FrankstonLine" (av 0 0 0) (stv 1.000000 0.000000))
      )
    )
  )
)
